Formal One and Doublev