master as of 18-Aug-2014
move continuity to part 14
break up large proofs