Reviewing a paper for IEEE Transactions on Artificial Intelligence