sentence1: a progressive plane string diagram is frobenius invariant if and only if it is connected and simply connected .
sentence2: a strong monoidal functor between braided monoidal categories is prebimonoidal if and only if it is braided .