higher bound on width

of under statement ally✕