Add formal category