Inference+Level+2