Verifying Protocol...