o1 and Pygo