paying notes float in
void proof less in bound ___