Board Thread:General Mod Discussion/@comment-27828413-20160516155550/@comment-26236093-20160518203735

Indeed, I found a similar definition, how peculiar.