Element 'model checking'