Add "natural in $A$ and $B$".  Build not tested.