NF suffers from at least two grave faults: 1. It's inconsistent with AC 2. Cantor's theorem 2^x > x fails. Martin