RE: case-eta-expansion