remove some admits