[ot] Re: Problems passing symbols to abstractions