Value set and evaluation function