ValueLogicalTop: ValueLogical = ...