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