We explore a relation we call 'anticipation' between formulas, where A anticipates B (according to some logic) just in case B is a consequence (according to that logic, presumed to support some ...