K.4 - Single-Step Inequalities