Some progress with unambiguity proof.