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