paying notes stack less

stack back fire fly over

proof stack less stack less✕