Inference+Level+3