It would be possible to add a variable to formulas that represents the number of players who have paid in full. That wouldn't be too hard. It would also be possible to restrict the output of the <buyins> token to only those paid in full. Also not too hard. Doing the math isn't hard, either, as there's already a token available for that (<expression>). But adding variables for the number of paid in full for specific profiles gets much harder. I've actually got an item on the to-do list to add this, but for a different reason. It's just not there yet.