Give terms t1, t2, . . . , t5 such that the following derivation makes sense in the polymorphic lamb...