Formal main