Certificate for ShahzilNaqvi – Reasoning with o1