All objects of their children, as in.

Must apply all laws relating to A as M', as M+aM.