The goal of this paper is to construct a user-friendly model of unawareness. We start from an axiom system (in first-order modal logic) that enables us to express the following kinds of sentences: “the agent is not sure whether or not there is anything that he is unaware of”, and “I am not...