3 ms·

I don’t know, I’ve seen lots of math papers that sketch a high-level outline of the whole proof in section 1 or 2.