Allt tedde sig nu som ntmängd