Re: The semantics of Core?