Certificate for aman968 – Reasoning with o1