Domain d2pwfd2: 2pwf D:479-557