Text this: Formal systems and recursive functions :