higher bound on width
of under statement ___