 Let us suppose without argument that SI handles cases of knowledge and ignorance as intuitively as CR. Why say SI underwrites K? The key point is that if R safely indicates that p is true, then it safely indicates that q is true, where q is any of p’s consequences. Put another way, the point is that the following reasoning is valid (being an instance of strengthening the consequence):