Text this: Computability and complexity :