Proof Of Consequences