This analysis explains how 'Pegasus is a winged horse' is meaningful despite Pegasus's non-existence...
This proposition has not been edited since the history system was added.