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