ARTIFICIAL VERIFIED SYMBOL SCHEMES: A GROWING PROBLEM