proof stack less less age bound✕ ___