Add prose and lemmas to MiniMax.