It is therefore sufficient to convert E to combinatorial form.
因此足够转换E到组合子形式。