(bind-func cpBBIntersects (lambda (a:cpBB b:cpBB) (convert (and (<= (tref a 0) (tref b 2)) (<= (tref b 0) (tref a 2)) (<= (tref a 1) (tref b 3)) (<= (tref b 1) (tref a 3))) cpBool)))