[point(3, 4) -> A] line(A, point(7, 8))