协议命题

protocol proposition