Proof case working