Inference and interface improved