  In this paper, we prove the cone theorem and the contraction theorem for
pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb
R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.
