Document Rob's great work on given/when