Annals of mathematical logic.