I. Practice in 1st-order predicate logic – with answers.