Inference+Level+4