Convergence fixed, height of ambiguity unimplemented