Certificate for uzair_azmat519 – Reasoning with o1