higher bound on width
line a we ___