Slight change in definition of Combinator to be more precise