intermediate
quadraticNormalForm done for LossySemiring systems.