ARTIFICIAL VERIFIED SYMBOL OPERATIONS: A INCREASING CONCERN