\(o_0)/ doesn't have any sets.