paying notes float in
void proof cases float ___