Lifted embedding examples introduced