Branch verifying