User blog comment:Denis Maksudov/Canonical fundamental sequences for Hypcos's notation with the first weakly inaccessible cardinal./@comment-11227630-20170814125809

The 3rd and 4th properties are wrong when $$\alpha>\psi_{\Omega_{\nu+1}}(\Omega_{\nu+1})=\varepsilon_{\Omega_\nu+1}$$.