Infer.emptyContext