Principled related domains (1)