There are some interesting gaps in the proofs. Where did 045 go?