explicitly make closed-world assumption
fixed test case results