Closed world assumption - Single

Closed world assumption - Single

If