working on C^op^op