checkpoint: queries