Seol mar théacs é seo: Designing CBT systems