Adrian är en av trollkarlarna bakom månmatematiken i Miden VM och det underliggande bevissystemet 🧙 ♂️