Title: Reasoning with arbitrary objects
Subjects: Logic, Reasoning