paying notes float in

void proof cases peak bound less✕