Certificate for mustafaa_shahzadd – Reasoning with o1