higher bound on the
stack of failure lines ___