Proof nat morris