We begin by explaining the notions of knowledge base and knowledge set, which are fundamental for our formalization of the puzzle of unfaithful wives.
