paying notes stack age
proof stack less is stack in bound
stack bound ___