lifts and separates in Models