started formlization