Moving from existential to universal quantification without explicit warrant commits a standard fall...
This proposition has not been edited since the history system was added.