working on eta expansion
working on C^op^op