Ouroboros multicast conjecture
The Ouroboros multicast conjecture (apologies, but we had to give it some name) states that it's not possible to make unicast or multicast/broadcast transparent to the entity that directly engages in the communication. We are still looking for an adequate formal description.