Certificate for Shahid9455 – Reasoning with o1