NUCLEOL as a formal system | NiceBooksReads