predecessor-but-one