On: Mars has a layer of molten rock inside

[austinjp]

This is reductio ad absurdam.

Planetquake. Or just quake.

Incidentally, Sol isn't an 'official' name for our sun. The term 'solar power' is more like a brand-name that's been genericised.