Building your deep-dive on 1forAll
This usually takes about a minute — we only do this once and cache it.