NCA Proofs Unedited - deborahcull