paying notes float up

stack able proof weight bound in✕