Dot proof related domains (1)