higher bound on width

width less than zero unknown✕