?? "new discrete sums" in "truth-value" case .... ???? vs truth-value as degenerate set ???... ... ??? "discrete sum of toric varieties" ??? .... ??? ....

??? hmmm, i guess that this is telling us that this idea about new "discrete sums of symmetric monoidal truth-values" is related to things that we've already thought about in "toric" / "set-based" case ... and that the situation is somewhat confusing there ... ?? in that .... traditional fan-style toric glueing does seem to give a nice "world" of intermediate generality ... while there may be a more general world out there .... and it may be tricky trying to figure out where best to draw a line ... that is, which generality to favor ... ??? .....

??? "new discrete sums" in [ab gp]-valued case ????? ..... ???? ..... ?? ...