A general principle, discovered by Robert Langlands and named by him the "functoriality principle," predicts relations between automorphic forms on arithmetic subgroups of different reductive groups....