The inference illicitly moves from 'X lacks property P now' to 'X never underwent process Q', confla...
This proposition has not been edited since the history system was added.