Certificate for mjawad17 – Reasoning with o1