State `bi_mono_pred` using `□`/`-∗` instead of `<pers>`/`→`.
This follows the usual pattern of avoiding →
when possible.
The new statement should be logically equivalent, but easier to use.
This follows the usual pattern of avoiding →
when possible.
The new statement should be logically equivalent, but easier to use.