make ForAll stoppable