NTs
theoretical set U
explicit set N