Sequential comparison requires complete lifts

A prospective estimate might bound ${\eta }_j$ using an adiabatic indicator, geometric seminorms, state distances, and regulator remainders. Such a displayed form is an acceptance hypothesis until its constants, domains, and connection to the complete maps are proved. Em06-B's classical estimate is only a bookkeeping comparison for this purpose CheungEm06B.