Certificate for ehmad22 – Reasoning with o1