Proof Discrimination view 2