Reduction Modulo $p$