paying notes float in
void proof case lets stack ___