ARG theories