Certificate for bilal77511 – Reasoning with o1