forall-next now works as it did before