NWATS-Proofs-1