commit chagnes now proofs