Yvan Prokopov and DoubleV and Formal One