paying notes float in
void proof forms an empty ___