handout on predicates and quantifiers 6906129