Element 'dynamic logic'