to officially end