ARTIFICIAL VERIFIED SYMBOL OPERATIONS: A INCREASING ISSUE