Conjecture $f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S$ for principal funcoid $f$ and a set $S$ of funcoids of appropriate sources and destinations.