User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190830010552/@comment-35470197-20190830023823

Oops! Exactly, sorry for the careless reading. And then, you do not assume \(\alpha \in B(\alpha,\xi)\), right?