NWAS Proofs 05 23.03.18