Text this: Complete Call-by-Value Calculi of Control Operators II: Strong Termination