higher bound on width
is lam as king ___