whilst occasional concerns could demand theorem proofs, significantly in Paper II, the ability to produce theories and theorems from notion to proof is paramount. Test period: each of the resources you'll need which https://www.ims4maths.com/quick-learning-programme/