Halonen_et_al_proof