it is rules 5 and 6 that are of interest. rule 5 simply says that to convert a complex abstraction to a combinator, we must first convert its body to a combinator, and then eliminate the abstraction. rule 6 actually eliminates the abstraction.