形式控制

formal control