A-Level Maths OCR A H240

Auth manager not initialized

#1 Proof by deduction