Certificate for khursheed_ahmed940 – Reasoning with o1