Stav dette: Differential topology.