Seol mar théacs é seo: Many-body effects and simulations of potassium channels