Refactoring using mathematical properties of min · HackerTrans