paying notes float in

void proof forms float able void