let
murphi = !murphi