Updated Design1.txt to include nested priority donation details.