PHONY VERIFIED SYMBOL SCHEMES: A INCREASING PROBLEM