Re: Translating seq into Core