Bah, quit with the semantics. You're right, it is technically magma, not lava, but either way it's molten rock, and if you cool it down below a certain point (which is the same for either magma or lava, since the only difference between the two is whether it's still belowground or not), it'll...