Bugs cleansed, proofs improved.