paying notes float in
void proof read lines of math proof
___