Improve ND proof