"However, there is a further problem with deductive proofs. Mathematical theorems, even if validly proved, are invalid knowledge. Hence, the people's philosophers (Lokayata) from India rejected deduction as fallible thousands of years before the church declared it as infallible! The Lokayata objection was simple: deduction may begin from false premises. The classic Lokayata example (SURI 2000) was that observing a wolf’s footprints, people wrongly inferred that a wolf was around, when in actual fact the wolf’s footprints were made at night by a man to demonstrate the fallibility of deductive inference."