Remove another admit
Remove another admit