User blog comment:12AbBa/12AbBa's hierarchy/@comment-37993808-20200222110622

Ill-defined because FOOT(n) is ill-defined.