Certificate for thomas_mann352 – Reasoning with o1