changed certainties to hold k rather than value.