Schema-theoretic verification relies on a uniform rule, not exhaustive checking, so it cannot ground...
This proposition has not been edited since the history system was added.