assert that only one _ exists, maybe partition