Varmilp related domains (1)