New posts in Bounded Arithmetic