still fixing proofs