What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework".
То, что характеризует наше исчисление, это не точный выбор комбинаторов, но выбор интерпретации и математической структуры».