Certificate for Dayan_Atif – Reasoning with o1