[01C] Note that «(non P(n)) holds frequently in \(n\)» if and only if «non (P(n) holds eventually in \(n\) )».
[01D]↺↻