Notes:
- Tardos
- Karchmer-Wigderson - log2 lower bound
- Raz-Wigderson