BEMO> Informal Formal