Proof Discrimination view 1