Resolving Martin's comments
circles.tex: Resolve more comments from Martin
perturb.tex: Add upwards predicate derivations