Eta-expand properties