https://thelogiclibrary.com/piecewise-function/