Certificate for Nicklaus – Reasoning with o1