Towards the range property for the lambda theory H

A sketch of the proof is given for an open problem, the range property for H: the range of a closed λ-term in the closed term model modulo -conversion and equating unsolvable terms is either a singleton or infinite. The proof depends on one unresolved technical conjecture.