remove almost all admits