Re: Inferring from context declarations