higher bound on width
of under statement or ___