model logics improved