End Switch Proving