Preview DoubleV and Formal One