ET^ o1 ^ 3 ~*