Inference not required