Mode of Proof - Sidewinder compilationSo my friend messages me a few days back, she wanted to find s