let A, B, C, D = Point();
ABCD lies_on AB;