[Internal discussion](https://o1-labs.slack.com/archives/C028Q27R8UC/p1718639040987839).
Internal discussion.