Verifying Elimination Programs with a Special Emphasis on Cysticercosis Endpoints and Postelimination Surveillance