th-lift-instances