Text this: Enumerability, decidability, computability :