Element 'implication'