Classical predicate logic