Certificate for Kainat_Ijaz – Reasoning with o1