Policies as theories