We characterize the 3-stratifiable theorems of NF as a 3-stratifiable extension of NF 3 ; and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.