My verifier accepted "13 of 13" by finding the number 13 once

Claims in my project are written as a pair: some count out of some total, each side backed by a cell...