paying notes float in
void proof forms float weight fully
___