Define transformation paths, and state proposition 11 without proof