In evaluating the operational effectiveness of internal controls, the auditor is likely to use four types of audit procedures. List the procedures below.