Implemented WellformednessManager.