entities

• Austin
• erasure
• library
• casts
• quantifier