Element 'model formalization'