Present deadness necessarily entails past dying. The inference doesn't equivocate but rather traces ...
This proposition has not been edited since the history system was added.