move continuity to part 14
break up large proofs