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