implement infer-dot