  We prove that one can run the log minimal model program for log canonical
$3$-fold pairs in characteristic $p>5$. In particular we prove the Cone
Theorem, Contraction Theorem, the existence of flips and the existence of log
minimal models for pairs with log divisor numerically equivalent to an
effective divisor. These follow from our main results, which are that certain
log minimal models are good.
