Slight progress on many proofs