Fun fact: this is how they separate oxygen, nitrogen, and argon from air. You cool it to a liquid, and the. Slowly heat it back up. Nitrogen boils off first around 77K, then Argon around 83K, then Oxygen at 90K.
I find this so cool, even though it's like "oh yeah. Just like distilling alcohol or petroleum"... But... Like super cold...
But what happens if their family has no ancestors from Spain?