Fix more proofs