Title: Deduction geometry