adding in laws for predicate calculus