Implemented BoolVal and, imp