Added NNat,VS. Fixed at least up to Hilbert