Some changes in model logic