Valid descent requires the descending term to fall within the original quantifier's domain; violatin...
This proposition has not been edited since the history system was added.