13In a formal sense we are defining image if P ∈ CS and VAP =-∞ if P ∈ CS. This means that VA(TO) = -∞ if TO < TOJ.

14See the appendix for justification.