More logic to denote and of book