paying notes stack age

proof stack less in stack age bound

stack stack stack stack less✕