Certificate for noel_brian – Reasoning with o1