Элемент 'event completeness formalization'