To get clear about the other cases, where there is a danger of over generalizing, it helps to look at generalisation in ordinary non-visual reasoning. Schematically put, in reasoning about things of kind \(K\), once we have shown that from certain premisses it follows that such-and-such a condition is true of arbitrary instance \(c\), we can validly infer from those same premisses that that condition is true of all \(K\)s, with the proviso that neither the condition nor any premiss mentions \(c\). The proviso is required, because if a premiss or the condition does mention \(c\), the reasoning may depend on a property of \(c\) that is not shared by all other \(K\)s and so the generalisation would be unsafe. For a trivial example consider a step from “\(x = c\)” to “\(\forall x [x = c]\)”.