Text this: Computability and decidability :