ordinal(buchholz): Slice 3 headline — rank-mono-<ᵇ-+1-via-head-Ω under strict-head premise

ordinal(buchholz): Slice 3 headline — rank-mono-<ᵇ-+1-via-head-Ω under strict-head premise #248