Certificate for wang_junwei323 – Reasoning with o1