Taifead r-phoist: Information processing letters.