higher bound on width
width like an under statement
of ___