Certificate for HashirNaqvi12 – Reasoning with o1