Title: Protocols, Strands, and Logic