[improvement] Added the noProof property (2m) [#16s]