Text this: Propositional, probabilistic, and evidential reasoning :