Certificate for she-codes – Reasoning with o1