C&P page: 182 Definition: To say that statement P "follows" from a set of statements {S } is to say that an argument having the statements of S as premises and P as conclusion is a valid one. Comment: If that argument is not valid, P doesn't follow from {S}, and the argument (or its conclusion) is called a non sequitur (which, in Latin means "It doesn't follow." )

a combination of two existing methodologies