 Assume for sake of argument that the computer proof in question is deductively correct but is also unsurveyable in the above sense. Does our decision to rely on the output of the computer here constitute a non-deductive method? One way of viewing this kind of example is as driving a wedge between a deductive method and our non-deductive access to the results of that method. Compare, for instance, being told of a particular mathematical result by an expert mathematician (with a good track record). Is this a ‘non-deductive  method’?[12]