 An effect e is unconditionally preceded by a condition c if and only if there is no third condition c* such that c is present only when c* is also present, but, sometimes e is produced without c* being present before it. In other words, a condition e is unconditionally preceded by a condition c if and only if whenever e is produced, c is present before  it.[19]