User blog comment:Alemagno12/Beyond countable ordinals/@comment-27014275-20151115083241/@comment-27014275-20151121201739

Well, I see your point, But Definer can define FOST.