ValueLogicalMaybe: ValueLogical = ...