What can satisfy all guarantees at the same time