Under construction: Reasoning in the Wild Protocols