Double-point of truth for which Viterbi to use in properties. Also, prop for consistent tree scoring.