What are craters really?