An exercise in unification