Isn't this more appropriate to be first and second rather than t and u, which are the types.