paying notes float in
void proof proof of math ___