Changing path theorems.