paying notes float in
void proof cases peak bound bound
___