notes on Kmett's bound