non-trivial ex LL condtions