Nelc family proofs

September 21st, 2019