Automatic checking example
Author: Michael Borcherds

Well done

Construct the midpoint of AB

A = (2.18, 0.96)
B = (7.38, 0.76)
target = Midpoint(A, B)
C = Midpoint(A, B)