We present, among other results, a constructive proof of the Cherlin-Shelah-She theorem on the existence of universal structures.