does it matter that here f is in eta-expanded form?