Title: The ruler in geometrical construction