Text this: Annals of Pure and Applied Logic