point(3 | 4) point(6 | 7)