First attempt at implementing eta expansion.