U-substitution and the Log Rule