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