Element 'logical calculus'