o1 and Pygo2