logical predecessor