Implication and linear inference | NiceBooksReads