if !stop then false => not stop && ...
(and maybe replace stop with proceed:  proceed & ....)