Lift

Prerequisites for LU modules