Proof Setcase