( lift snfu [ innes : Ti ).