Seol mar théacs é seo: Information processing letters.