Added rules for the theory of logic.