The Phoenix Protocol Case Study