User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-1605058-20131210201100/@comment-25418284-20131211081155

You don't have to make that exception with my proposal...