higher bound is key✕