lifting and separating in Models