In fact, even the constructor for SimpleTruthValue uses count.