And similarly, deckRecord > sizeRecord or such.