( l:sta satsen .)