Bump [pre[α]]