Digital Public Library of America Deductions digital library is for example Digital Public Library of America ⇐ (Digital Public Library of America is a digital library), (is a is inverse of is for example)