Seol mar théacs é seo: Thermal pulses and dredge-up in AGB stars