mustHave(alice, dogLicense).