” 7 / 2 X } dereft.