The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms