Text this: Computability theory/