Describe choice command in protocol specs