Closed world assumption