higher bound on width
width width less in fold ___