An auditor independently executes a client's three-way match control on a sample of transactions to determine whether it functions as described. Which procedure is this?