Given the task definition and input, reply with output. Given scientific fact as input, generate the question from this fact such that it can be answered from the input.

Mineral crystals are formed when hot lava cools.
What is formed when hot lava cools?