Theory of Consequence