Moravian Library Deductions library is for example Moravian Library ⇐ (Moravian Library is a library), (is a is inverse of is for example)