fixes to proof ideas