#boolean logic #face data #true false #predicate logic #formal methods #face variable