NTs

theoretical set X

explicit set M

,