Certificate for JKCG – Reasoning with o1