fix a proof due to EVAL SUM change
more capitalisation fixes