Reader EPUB - Deductive Logic