Brake-out Verify() into its component parts