The contribution of particular elements of a theory to computational complexity can be determined through experimentation.
to limit this for inc and caus, we appeal to semantic considerations: that is, inc and caus occur at most once per singular event.