premise: Howard has only visited Belize, Nigeria, Chile, Niger, Austria, Canada, Portugal, Senegal, Djibouti, South Korea, Turkmenistan, Burundi, The Bahamas, Jamaica, Guinea, Malaysia, Cameroon, Guinea-Bissau and Venezuela
hypothesis: Mike didn't visit Guinea-Bissau