ARTIFICIAL VERIFIED SYMBOL OPERATIONS: A EXPANDING CONCERN