Title: Fortiori Logic