# Hillel Wayne - Termination :: Learn TLA+ (Highlights)  ## Highlights - What we want is something called *fairness*: the property that if a given label is always enabled, we will eventually run it. We make this happen by specifying the process as a `fair process`. - The most common temporal logic you’ll want to check is *Termination*,