Title: Reasoning about theoretical entities