YES is a logic of value: true