Inference improved and greater implemented