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