Added a description of the closed world assumption