Does not infer if value is not known