14prime!=decompose2 implements this strategy in the symbolic mode layer.