Text this: Contributions to mathematical logic: