Certificate for Ahmed-Raza-Khanzada – Reasoning with o1