As in Section 3.1.1, collision detection may be viewed as a logical predicate. In the current setting it appears as TRUEFALSE, in which the domain is instead of . If , then TRUE; otherwise, FALSE.