@mbr @fclc I should tighten up the description at some point, but “here be dragons” is the correct conclusion - the semantics are only easily describable when used as just-mul or just-add (though perhaps if I study it long enough, I’ll find a good description of the combined semantics).