Certificate for touqeer_abbasi – Reasoning with o1