Certificate for Ash_231231 – Reasoning with o1