Inferring 'humanity exists' from '∃x Human(x)' treats humanity as an abstract object; this requires ...
This proposition has not been edited since the history system was added.