13In a formal sense we are defining if P ∈ CS and VAP =-∞ if P ∈ CS. This means that VA(TO) = -∞ if TO < TOJ.
14See the appendix for justification.