Definition of Fortiori