paying notes float up

stack able proof weight less in✕