Re: Internal logic of lex categories