Revisiting model logic