15_Strength_of_bounded_arithmetic_(BAPLaCT)