Inequalities Reasoning Kd Live