Certificate for Hasnain-atif – Reasoning with o1