User blog comment:Mush9/Beyond BIG FOOT (ideas in comments)/@comment-29915175-20161106141716/@comment-1605058-20161106141905

I don't see which definition it follows from, but you are correct.