mark_formal