A-Level Maths OCR B (MEI) H640

Auth manager not initialized

#1 Proof by deduction