calculus of predicates 8601752