Theories of Change for AI Auditing — LessWrong