paying notes float in

void proof cases guard empty✕