Section on predicates now contains a part on implication