https://gaviki.com/blog/from-the-definition-of-absolute-value/