User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20151208183308/@comment-27014275-20151209060955

Similarly to how FOOT(n) uses FOOT.