Universality lifting from a general base field | Synapse