premise: Todd has only visited Sudan, Afghanistan, Germany, Marshall Islands, Benin, Lithuania, Nepal, Guinea, Laos, Fiji, Malawi, Saudi Arabia, Antigua & Barbuda, Namibia, Côte D'ivore and Ethiopia
hypothesis: Jeffrey didn't visit Benin