[070] (Proposed on 2022-10-27) The [01F]↺↻ property reformulates in this way.
Show that P(x) frequently applies for \(x∈ X\) if and only if the set
is cofinal in \(X\).