 And this resulted in a thick continental crust in the ocean, now declared a newly discovered proto-microcontinent, also known as a primitive microcontinent. Can you have a worse name for a more exciting discovery? A proto-microcontinent? Who would want to learn about that?