is a number of Deductions -> is for example is a number of ⇐ (is a number of is a ->), (is a is inverse of is for example)