Certificate for Khizar3333 – Reasoning with o1