This leaves two options. The strict option is that without a conscious, explicit check one has not really thought through the proof.  The relaxed option is that one can properly think through the proof without checking that the proviso is met, but only if one is sensitive to the potential error and would detect it in otherwise similar arguments. For then one is not just lucky that the proviso is met. Being sensitive in this context consists in being alert to dependence on features of the arbitrary instance not shared by all members of the class of generalisation, a state produced by a combination of past experience and current vigilance. Without compelling reason to prefer one of these options, decisions on what is to count as proving or following a proof must be conditional. 