3 ms·

Should we tell him about Coq? Lol.