I presume the fix here will be to add an explicit A=∅ escape clause to the multiplicative definitions. I haven’t been able to confirm this works out yet (trying to work around this), but it at least removes the null counterexample.
With the other problem resolved, I can confirm that adding an A=∅ escape clause to the multiplicative definitions works out.
I presume the fix here will be to add an explicit A=∅ escape clause to the multiplicative definitions. I haven’t been able to confirm this works out yet (trying to work around this), but it at least removes the null counterexample.
With the other problem resolved, I can confirm that adding an A=∅ escape clause to the multiplicative definitions works out.