class Reference: def __init__(self, class SimpleLogicalThing: # let's express truth that the number one is one # 1 is a concept that is convertible to an integer # equality refers to parts of a concept that are held with shared value in a context # so, maybe we'll need: concepts, integer concepts, # how to keep it small?