Eta-proof related domains (1)