Mixnets can hide both who sends a message and who receives it. — Synthesis