function-and-relation-composition