paying notes float up
stack able proof weight bound in
proof ___