Case splits where the step happens I think.