A-Level Maths OCR B (MEI) H640

Auth manager not initialized

#2 Proof by exhaustion