Title: A realist theory of auditing