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