Deciding statements in Euclidean geometry.