proper tally is possible now with better bound