Translate
principle of independence of motions