Certificate for adnan-tariq – Reasoning with o1