I think it needs to go further. I don't think users tend to form mental models, at all. To them, as I argued in http://d-flat.dylanlacey.com/2010/the-parable-

I think it needs to go further. I don't think users tend to form mental models, at all. To them, as I argued in http://d-flat.dylanlacey.com/2010/the-parable-of-the-magic-box http://d-flat.dylanlacey.com/2010/the-parable-of-the-magic-b..., computers are a magic box, not deterministic in any way. To assume that File->Print prints in all applications, based on it working for one, is forming a mental model. Time and time again, I've seen this NOT be the case. I think you need to form a decent balance between not surprising the user, and having an interface that's just different enough to make them form new mental models.