Finish path theorems.