$x > 0.5; $z = "flag"
