Ha! So existential. I had no idea that syntax worked.