Certificate for mubashir_ali737 – Reasoning with o1