Text this: Recursive number theory :