Protocol exploration (4)