User blog comment:KthulhuHimself/Norminals Revisited./@comment-5529393-20160710171207/@comment-5529393-20160712113013

Then where is your definition of <0,2>?