Title: deductive geometry