User blog comment:KthulhuHimself/Norminals Revisited./@comment-27173506-20160204132906

So this is just extending FOOT to an array notation, like LittlePeng9 said he didn't want to do on the page where he defined BIG FOOT.