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