Presuppositional related domains (3)