The same word 'cat' appears in multiple locations simultaneously, suggesting types transcend individ...
This proposition has not been edited since the history system was added.