Certificate for fahad_p_n890 – Reasoning with o1