Protocol assertion added