paying notes stack age

proof stack less ion age bound✕