$f=is_boolean($x>1)
