Hmm... are you saying that you created the separate type ```CountTruthValue``` in order to address the second case in that quote?

I found that Nil and you had started to discuss this before:
https://groups.google.com/d/msg/opencog/ytIGDKdPEZo/z_bJ5p3dMagJ

but I think lots of existing code, like PLN, is built with the assumption that SimpleTruthValue does have a count attribute. (cc @jadeoneill)