Certificate for Saif_123 – Reasoning with o1