Bounded Arithmetic, Truncation and Saturation