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