higher bound is key
notes echo through void proof ___