With the other problem resolved, I can confirm that adding an A=∅ escape clause to the multiplicative definitions works out.
With the other problem resolved, I can confirm that adding an A=∅ escape clause to the multiplicative definitions works out.