ValueLogicalTrue: ValueLogical = ...