checking the protocol rules