boolean and var/fact test