Tutorial 15: Elementary derivations in predicate logic