Proof Discrimination view 3