What the mental logic-mental models controversy is not about