Certificate for Hf06 – Reasoning with o1