Pilfer proof related domains (2)