public FormalController() { _exerciseLibraryLogic = new ExerciseLibraryLogic(); _al = new AuthorityManageLogic(); _formalLogic = new FormalLogic(); _draftLogic = new DraftLogic(); }