Element 'event completeness formalization'