Certificate for SimonOlsn – Reasoning with o1