premise: Steven has only visited Slovakia, Ecuador, Togo, Sri Lanka, Bolivia, Yemen, Liechtenstein, Eritrea, Kenya, Serbia, Dominica, Philippines, Saudi Arabia, Kuwait, India, Tuvalu, Mozambique, Mali, Malaysia and France
hypothesis: Erik didn't visit Mozambique