User blog comment:Ikosarakt1/BEAN is much stronger/@comment-84.107.139.241-20130712111505/@comment-1605058-20130712132741

I can't see how Bowers' notation can reach \(\psi(\Omega_\omega)\), but I agree that there still is such possibility