Text this: Mathematical logic quarterly :