Hipoteza o odstranjivanju (the pruning front conjecture) je 35 godina stara hipoteza koja je tvrdila da se na Henonove atraktore može uvesti simbolička dinamika, koja je inače poznata kao snažan alat u istraživanju dinamičkih sustava. U ovom predavanju izložit ću kako sam sa suradnikom Janom Boronskim dokazala hipotezu o odstranjivanju te kako smo, uz pomoć tog alata, klasificirali kaotične Henonove atraktore.