paying notes stack age

proof stack less in bound stack bound

less stack stack stack stack✕