Cryptozoology (from Greek κρυπτός, kryptos, "hidden" + zoology; literally, "study of hidden animals") is a pseudoscience involving the search for animals whose existence has not been proven due to lack of evidence. The animals cryptozoologists study are often referred to as cryptids, a term coined by John Wall in 1983.