The philosophy of auditing