Text this: Annals of mathematical logic.