On embedding semigroups into trioids | Synapse