Reasoning about Protocols with Human Participants: Year 3 Grant uri icon