Rulers, compasses, and geometry