Text this: Continuous logic and embeddings of Lebesgue spaces.