I think those wavy lines match in places the fancy EL of proof, so re-proofed and re-choked.