I : a 3^e l:a 3:e l:a 1 : a 3 | e I:a lifl:a