 This way of understanding relevant alternatives upholds K. The key point is that if S knows p on the basis of R, and is thus able to rule out p’s relevant alternatives, then S can also rule out q’s relevant alternatives, where q is anything p implies. If R were to hold, q’s alternatives would not.