lpn!; exercise 2.1 - which terms unify?