(opt. lifting function).