Never type ! and diverging functions