Element 'modal hypothetical operators'