Use "combinatory definability" in a sentence