E ( : a , ls7 .)