isa(L)