A-Level Maths OCR A H240

Auth manager not initialized

#2 Proof by exhaustion