premise: Mike has only visited Tunisia, Saint Vincent & the Grenadines, El Salvador, Macedonia, Democratic Republic of the Congo, Argentina, Cuba, Pakistan, South Korea, Senegal, Tuvalu, Guinea-Bissau, Papua New Guinea, Tanzania and Australia
hypothesis: Mike didn't visit El Salvador