information about Model checking field