$f=is_boolean($z>1)
