Cryptozoology is the search for animals that are rumored to exist, but for which conclusive proof is missing. This includes the search for living examples of animals that are known to have existed at one time, but are widely considered to be extinct today. Those who study or search for such animals are called cryptozoologists, while the hypothetical creatures involved are referred to by some as "cryptids", a term coined by John Wall in 1983.