Remove some admits.