next higher rank Deductions -> is for example next higher rank ⇐ (next higher rank is a ->), (is a is inverse of is for example)