charitable services, namely organising and conducting volunteer programmes and community service projects; Charitable services, namely business management and administration; Charitable services, namely organising and conducting volunteer programmes and community service projects; Charitable services, namely the recruitment, organisation and deployment of volunteers

nutritional supplements; dietary supplements; food supplements (dietary supplements); vitamin supplements; herbal dietary supplements; dietary nutritional supplements; antioxidants (dietary supplements); dietary food supplements; maltodextrins (nutritional supplements); protein dietary supplements; dietary protein supplements; enzyme dietary supplements; vitamin supplement patches; casein dietary supplements; plant extracts (dietary supplements); energy drinks (dietary supplements); vitamin supplements for animals; colostrum supplements; lactose (nutritional supplement); dietary supplements for infants; carbohydrate based dietary supplements; dietary supplements for animals; yeast dietary supplements; pollen dietary supplements; pollen (dietary supplement); linseed dietary supplements; propolis dietary supplements; mineral food supplements; mineral dietary supplements for animals; glucose dietary supplements; milk calcium concentrate (nutritional supplement); nutritional supplements for animals; fibre supplements; mineral dietary supplements for humans; alginate dietary supplements; nutritional supplement protein bars; albumin dietary supplements; nutritional supplement energy bars; medicinal food supplements; nutritional supplements for medical use; non-carbohydrate dietary supplements; nutritional animal feed supplements; food supplements for animals (vitamins); royal jelly dietary supplements; medicated food supplements; vitamin supplements for foodstuffs for animals; linseed oil dietary supplements; nutritional feed supplements for animals; nutritional supplements for animal feed; royal jelly (nutritional supplement); collagen based medicated supplements; wheat germ dietary supplements; milk sugar (nutritional supplement); plant compounds for use as dietary supplements (veterinary); medicated supplements for food; dietary supplements with a cosmetic effect; protein supplements for animals; plant compounds for use as dietary supplements (medicinal); vitamin supplements for foodstuffs for human consumption; food supplements for animals (minerals); food supplements for medical purposes; vitamin supplements for use by lactating women; medicated supplements for animal feedstuffs; protein supplements for humans; medicinal food supplements for animals; vitamin preparations in the nature of food supplements; ginseng preparations incorporating vitamins and minerals; vitamin preparations; pharmaceutical preparations containing vitamins; dietetic food supplements adapted for medical purposes; vitamins; vitamin supplements for use by pregnant women; antibiotic food supplements for animals; bee glue (propolis) dietary supplements; vitamin tablets; dietary preparations for slimming purposes (medical); dietetic foods for use in clinical nutrition; nutritional meal replacements; medicated nutritional creams; nutritional media for bacteriology; dietary food preparations for medical use (medical food); nutritional meal replacement powders; dietetic foods adapted for infants; parenteral nutrition solutions for medical use; nutritional additives to animal feed; nutritional preparations for medical use; acai powder dietary supplements; medicated nutritional additives for animal foodstuffs; dietetic foods adapted for medical purposes; nutritional additives to fodder; dietetic foods for medicinal purposes; vitamin preparations for animal consumption

supplements (printed matter)

recruitment agency; recruitment; employment and personnel recruitment and consultancy services; job placement and agency services

Providing health information; providing patient medical information via an internet-based database enabling patients to inquire about medical issues and procedures from other patients and to relay information about their medical experiences for support and community.

Electronic databases; multimedia content; software; firmware; computer operating systems; application software for cloud computing services; audiovisual and information technology equipment; equipment for data communication and computer networks; data storage devices; equipment and accessories for data processing (electrical or mechanical); peripheral devices for computers; computers and computer hardware; parts and components for computers; communication equipment; point-to-point communication equipment; broadcasting equipment; antennas for telecommunications; duplication apparatus; apparatus for scanning images; ticket dispensers; payment terminals; devices for sorting and dispensing money; coin-operated mechanisms; peripheral devices for computers; electric circuits and cards; access control devices; instruments for measuring, detecting and monitoring, indicators and controllers; sensors and detectors; devices for testing and quality control; apparatus for registering and recording data; radar apparatus; simulators; apparatus for scientific research; nautical apparatus and instruments, measuring apparatus, naval signaling apparatus, sonars; metal detectors for industrial or military use.

Information technology services; development, design, programming and implementation of software; development and design of equipment for computer hardware; software rental and website hosting services; rental of computer equipment and installations; consultancy, advice and information relating to computer services; information technology security, protection and restoration; data duplication, conversion and encryption services; scientific and technological services; engineering services; testing, authentications and quality control; design services; design, development, integration and updating of computer solutions (software) for cybersecurity; software updating; creation and maintenance of web sites for others; editing of computer programs; advisory services relating to product development and software quality improvement; Consultancy relating to computer program design and development; advisory services relating to computer programming; advice and development services relating to computer software; consultancy services relating to computer programming; development of computer programs for others; software installation and maintenance; computer program engineering; design, maintenance and updating of computer software; updating of computer programs; development, updating and maintenance of software systems and databases; advisory and information services relating to the design and development of computer peripherals; advisory and information services relating to the design and development of computer hardware; design and development of hardware architecture; consulting services in the field of software as a service [SaaS]; consultancy via cloud networks and applications; cloud computing services; cloud hosting provider services; computer services concerning electronic data storage; hosting computer sites [web sites]; hosting of digital content on the Internet; (IaaS) infrastructure as a service; platform as a service [PaaS]; software as a service [SaaS]; IT project management; data conversion of computer programs and data [not physical conversion]; conversion of data or documents from physical to electronic media; duplication of computer programs; computer engineering; computer program engineering; Telecommunications engineering; engineering services.

Charitable fundraising services; accepting and administering financial contributions in order to provide and enable the provision of activities related to child development, education, play, health and care particularly for disadvantaged children; organizing and conducting fundraising activities and events

Providing childcare services and child care centres including those for disadvantaged children; day care services and day care centres for disadvantaged children; providing temporary housing accommodation; providing information via websites on the subject of day care for disadvantaged children

Charitable fundraising services; accepting and administering financial contributions in order to provide and enable the provision of activities related to child development, education, play, health and care particularly for disadvantaged children; organizing and conducting fundraising activities and events

Providing childcare services and child care centres including those for disadvantaged children; day care services and day care centres for disadvantaged children; providing temporary housing accommodation; providing information via websites on the subject of day care for disadvantaged children

Stem cells for medical purposes

Charitable fundraising services; accepting and administering financial contributions in order to provide and enable the provision of activities related to child development, education, play, health and care particularly for disadvantaged children; organizing and conducting fundraising activities and events

Providing childcare services and child care centres including those for disadvantaged children; day care services and day care centres for disadvantaged children; providing temporary housing accommodation; providing information via websites on the subject of day care for disadvantaged children

Software; computer software; server software; client software; computer application software; mobile application software; software in the field of machine learning and artificial intelligence; cyber security software; authentication server software; authentication library software; downloadable computer security software; software for network and device security; software for application, transaction and identity security related to mobile device applications; software for data security; software for ensuring the security of electronic mail; software for virus tracking and virus neutralization; electronic publications, downloadable, relating to the field of cyber security, Internet security, computer security, computer network security, data security and cryptography; software development kits (SDKs); computer security SDKs (Software Development Kits); mobile application security SDKs; authentication SDKs; biometric SDKs; real-time fraud prevention software; software for monitoring, detecting and blocking of fraudulent transactions; software for logging, monitoring and securing of Internet and mobile services; software for analyzing, and detecting unusual patterns in user and transaction data including behavioral and contextual data; software for behavioral analytics; mobile application security software; software for protecting mobile applications; software for detecting, preventing and reporting mobile cyber attacks; anti-malware software; runtime application self-protection software; jailbreak and root detection software; device identification and device binding software; software for identifying an individual electronic device; software for binding an application instance to an individual electronic device; device fingerprinting software; secure storage software; secure communications software; computer hardware, data processing equipment; electronic apparatus for enabling secure telecommunications; computer peripheral equipment; smart card readers; electronic devices capable of exchanging data using a wireless data communication protocol; USB hardware; USB smart card readers; USB tokens; USB sticks; smart cards; PKI smart cards; parts and fittings for all the aforesaid goods; electronic data storage devices; electronic data capture apparatus; electronic encoding and decoding apparatus and instruments; electronic coding units; electronic decoders; electronic apparatus, USB hardware, USB tokens, encoded smart cards containing programming used for security, authentication and encryption; cards encoded with security features for identification purposes; data encryption apparatus; electronic encryption units; electronic security tags; electronic identification tags; electronic apparatus, computer peripheral equipment, USB hardware, USB tokens, smart cards, smart card readers, authentication tokens and software, server software and mobile application software, for use in the field of cyber security, Internet security, computer security, computer network security and cryptography; electronic apparatus, computer peripheral equipment, USB hardware, USB tokens, smart cards, smart card readers, authentication tokens and software, server software and mobile application software, used all for the protection of online transactions and data transfer by electronic means; electronic apparatus, computer peripheral equipment, USB hardware, USB tokens, smart cards, smart card readers, authentication tokens and software, server software and mobile application software, all for electronic generation and verification of authentication credentials and signatures; electronic apparatus, computer peripheral equipment, USB hardware, USB tokens, smart cards, smart card readers, authentication tokens and software, server software and mobile application software, all for use in, for connecting to and for providing Public Key Infrastructures (PKI); electronic identification devices programmed with specific parameters to obtain an authentication code for securing electronic transactions, bank operations, remote application access and securing data transfers; electronic security tokens in the nature of a fob-like device used by an authorized user of a computer system to facilitate authentication to access computers, web sites, remote computer based applications, electronic networks and databases; software, mobile application software, electronic apparatus, authentication tokens and smart card readers adapted to optically capture digital information; software, mobile application software, electronic apparatus, authentication tokens and smart card readers for capturing and decoding 2D-barcodes; electronic apparatus and software for use in the field of biometric verification; electronic apparatus and software for biometric systems for the identification and authentication of persons; biometric access control systems; biometric identification systems; biometric voice recognition systems; electronic apparatus and software for capturing, analyzing and verifying biometric traits; electronic apparatus and software for capturing, analyzing and verifying fingerprints, retinal scan, voice, heartbeat, gait and vein patterns; biometric readers; fingerprint readers; biometric retinal scanners; face recognition software; electronic apparatus and software for use in the field of behavioral biometrics; electronic apparatus and software for capturing, analyzing and verifying behavioral biometrics; behavioral authentication software; electronic apparatus and software for behavioral biometrics, including dynamic keystrokes and swiping patterns; electronic apparatus and software for capturing, analyzing and verifying geolocation data; electronic apparatus and software for recording, processing, manipulating and analyzing sounds and images; electronic apparatus and software for use in the field of cyber security, Internet security, computer security, computer network security, data security and cryptography; electronic apparatus, authentication tokens and smart card readers and software, server software and mobile application software for security, data security, authentication and data encryption; electronic apparatus and software for providing multi-factor authentication; electronic apparatus and software for providing layered security; electronic apparatus and software for continuous, transparent and frictionless authentication; software for coordinating and orchestrating authentication and cyber security; electronic apparatus and software for protecting digital channels; electronic apparatus and software for securing telecommunications, data communications, electronic communications and digital communications; electronic apparatus and software for securing access to and operation on the Internet; electronic apparatus and software for the security of data-transfer by electronic means and via computer networks; electronic apparatus and software for identification of persons; electronic apparatus and software for providing, verifying and proving the identity of persons; electronic apparatus and computer software used to identify and authenticate users of intranet and Internet websites and used to authenticate user access to intranet and Internet sites, wide area networks (WAN) and local area networks (LAN) in order to secure online communications and transactions; electronic apparatus and software for the security of physical and virtual objects; electronic apparatus and software for controlling user access; electronic apparatus and software for access control to physical and virtual spaces, to electronic systems, to computers, to electronic networks, to websites, to computer based applications and to electronic databases; electronic apparatus and computer software used for remote control of access to computers, computer based applications and telecommunications networks; electronic apparatus and software for use in the field of Public Key Infrastructures (PKI); electronic apparatus and software used for securing electronic and online transactions; electronic apparatus and software for providing non-repudiation of electronic and online transactions; electronic apparatus and software for the certification of orders given via computer and certifying electronic instructions; electronic apparatus and software for secure transaction authentication for use in the field of banking and online consumer transactions; electronic apparatus and software used for ensuring the security of banking operations and bank transactions; electronic apparatus and software for securing Internet banking; electronic apparatus and software used for ensuring the security and authentication of orders given by computer; electronic apparatus and software for use in the field of risk analysis, including risk analysis of electronic and remote transactions, transaction requests, and access requests; software for assessing the risk associated with end user identities; electronic apparatus and software in the field of fraud detection, risk detection, risk management, fraud management, risk analysis, fraud analysis and fraud prevention, all related to electronic, digital, online and remote transactions; electronic apparatus and software for securing and protecting virtual, electronic and digital assets; digital apparatus for securing storage of, access to and handling of digital money, electronic and digital currencies and cryptocurrencies; software in the field of digital money, electronic and digital currencies and cryptocurrencies; digital apparatus for securing computer based applications using distributed ledgers and blockchains; software in the field of distributed ledgers and blockchains; electronic apparatus and software in the field of protecting digital data; electronic apparatus and software for ensuring the confidentiality, integrity and authenticity of digital data; electronic apparatus for protecting access to digital copyrighted material and for supporting digital rights management mechanisms; software in the field of digital rights management; electronic apparatus and software for controlling the use, modification, and distribution of copyrighted works; electronic apparatus and software in the field of protecting personal data; electronic apparatus and software in the field of privacy protection; electronic apparatus and software in the field of identity management; electronic apparatus and software for trusted identity management; electronic apparatus and software for digital identity management; software for customer enrollment, customer management and electronic transaction facilitation; electronic apparatus and software for securing electronic payment services, Internet banking and mobile banking services; electronic apparatus and software in the field of e-government; software for electronic signature applications and systems, including administrative and user applications and digital storage systems; software programs allowing users to electronically approve documents using secure electronic signatures; electronic apparatus and software for the recording, the manipulation, the archiving, the security, the encoding of sound, images and data, including via the Internet; software for capturing an approval of an electronic or online transaction; software for generating and capturing electronic proof of authorization of electronic and online transactions and documents; software for generating electronic signatures; software for electronically signing electronic and online transactions; software for signing electronic documents; software for capturing electronic document signatures; electronic signature software; transaction management software programs; software for electronic document management; software allowing users to electronically send, sign, receive and manage documents as part of an electronic business transaction; software for ensuring the legal enforceability, regulatory compliance and auditability of documents or transactions; software for obtaining secure electronic forensic evidence relating to the business transaction process and documents; electronic signature and transaction management software programs allowing users to electronically send, sign, receive and manage documents as part of an electronic business transaction, to ensure the legal enforceability, regulatory compliance and auditability of the documents and transactions, and to obtain secure electronic forensic evidence relating to the business transaction process and documents; software for capturing and storing electronic evidence data; software for capturing and storing audit trail data; software for capturing and storing electronic signature data; software for capturing and storing electronic evidence data that allows reproducing exactly what a signer saw and did; software for capturing and storing audit trail data that allows reproducing exactly what a signer of an electronic document saw and did; software for capturing and storing data documenting an electronic signature process; software for capturing and storing data documenting electronic delivery of documents and information; software for viewing and reviewing electronic evidence data; software for viewing and reviewing audit trail data; software for viewing and reviewing electronic signature data; software for viewing and reviewing electronic evidence data that allows reproducing exactly what a signer saw and did; software for viewing and reviewing audit trail data that allows reproducing exactly what a signer of an electronic document saw and did; software for viewing and reviewing data documenting an electronic signature process; software for viewing and reviewing data documenting electronic delivery of documents and information; software for reviewing and verifying electronic forensic evidence; software for reproducing an authorization and approval process of electronic transactions and documents; software for reproducing a signing process of electronic transactions and documents; software for securely storing electronic documents; electronic vaulting software; all of the aforementioned to the exception of: computer hardware and computer software for formal verification (this does not include personal identity verification and authentication) and sequential equivalence checking, in particular in the field of semiconductor production.

Computer hosted, online and cloud-based cyber security services; services in the field of data protection and data traffic, encryption; issuing and management of digital certificates; electronic authorization, authentication and identification of persons' data; it services in the field of electronic and digital signatures, data protection and data traffic, encryption; data encryption; development of electronic identification (id); online authentication of electronic signatures, namely, electronic signature verification services in connection with banking services; online authentication services; online computer security services; provision of security services for computer networks, computer access and computerized transactions; computer security services for protection against illegal and illegitimate network access; online authentication of electronic signatures; online security services, namely, providing security for electronic transactions; computer security services, namely, restricting access to and by computer networks to and of web sites, media, and individuals; computer security services, namely, protecting computers, web sites and databases against unauthorized access; providing access control to computers, electronic networks, web sites and databases; providing security of data transmission and of transactions via computer networks; providing security of web sites, computers and databases; computer security services for protection against illegal network access; computer and technology services for securing computer data and personal and financial information and for the detection of unauthorized access to data and information; providing secured online transactions and secured data transfer by electronic means; online security services, namely, providing security for electronic transactions in the nature of providing fraud detection services for electronic funds transfer, credit and debit card and electronic check transactions via a global computer network; providing user authentication services, namely, verifying digital signatures and passwords; providing user authentication services, namely, verifying digital signatures and passwords used to authorize transactions and access networks and online services; monitoring of computer systems for security purposes in the nature of monitoring data transmission and online transactions; providing user authentication services in e-commerce transactions (computer security); electronic signature verification services for security purposes; online identity management services; online trusted identity management services; digital identity management services; identity verification services; online access management services; online generation and verification of authentication credentials and electronic signatures; online personal attributes (data) management services; data security services; computer hosted, online and cloud-based services in the field of digital rights management; computer hosted, online and cloud-based services for controlling the use, modification, and distribution of copyrighted works; online services in the field of protecting digital data; online services for ensuring the confidentiality, integrity and authenticity of digital data; online services in the field of protecting personal data; computer security services for protecting the privacy of persons interacting with computer based applications; online and cloud-based real-time fraud prevention services; computer hosted, online and cloud-based services and software as a service for monitoring, detecting and blocking of fraudulent transactions; computer hosted, online and cloud-based services and software as a service for analyzing, and detecting unusual patterns in user and transaction data including behavioral and contextual data; hosting services and software as a service [saas] and rental of software; providing temporary use of non-downloadable software applications accessible via a web site; rental of internet security programs; providing and rental of computer software for use in the field of application, transaction and identity security, cyber security, internet security, computer network security, data security, authentication, electronic signatures, biometrics, identification of persons, securing data communication, fraud detection and prevention, risk management, customer enrollment, electronic document management; computer hosted and online and cloud based services and software as a service in the field of fraud detection, risk detection, risk management, fraud management, risk analysis, fraud analysis and fraud prevention, all related to electronic, digital, online and remote transactions; computer hosted and online and cloud based services and software as a service for risk analysis, including risk analysis of electronic and remote transactions, transaction requests, and access requests; computer hosted and online and cloud based services and software as a service for assessing the risk associated with end user identities; computer hosted, online and cloud-based services and software as a service for coordination and orchestration of authentication and cybersecurity; computer hosted, online and cloud-based services and software as a service for securing electronic and online transactions; computer hosted, online and cloud-based services and software as a service for capturing an approval of an electronic and online transaction; computer hosted, online and cloud-based services and software as a service for generating and capturing electronic proof of an authorization of an electronic and online transactions and documents; computer hosted, online and cloud-based services and software as a service for generating electronic signatures; computer hosted, online and cloud-based services and software as a service for electronically signing electronic and online transactions; computer hosted, online and cloud-based services and software as a service for signing electronic documents; computer hosted, online and cloud-based services and software as a service for capturing electronic document signatures; computer hosted, online and cloud-based services and software as a service allowing users to electronically send, sign, receive and manage documents as part of an electronic business transaction; computer hosted, online and cloud-based services and software as a service for ensuring the legal enforceability, regulatory compliance and auditability of documents and transactions; computer hosted, online and cloud-based services and software as a service for obtaining secure electronic forensic evidence relating to the business transaction process and documents; computer hosted, online and cloud-based services and software as a service allowing users to electronically send, sign, receive and manage documents as part of an electronic business transaction, to ensure the legal enforceability, regulatory compliance and auditability of the documents and transactions, and to obtain secure electronic forensic evidence relating to the business transaction process and documents; electronic signature and transaction management software as a service allowing users to electronically send, sign, receive and manage documents as part of an electronic business transaction, to ensure the legal enforceability, regulatory compliance and auditability of the documents and transactions, and to obtain secure electronic forensic evidence relating to the business transaction process and documents; computer hosted, online and cloud-based services and software as a service for capturing and storing electronic evidence data; computer hosted, online and cloud-based services and software as a service for capturing and storing audit trail data; computer hosted, online and cloud-based services and software as a service for capturing and storing electronic signature data; computer hosted, online and cloud-based services and software as a service for capturing and storing data documenting an electronic signature process; computer hosted, online and cloud-based services and software as a service for capturing and storing data documenting electronic delivery of documents and information; computer hosted, online and cloud-based services and software as a service for viewing and reviewing electronic evidence data; computer hosted, online and cloud-based services and software as a service for viewing and reviewing audit trail data; computer hosted, online and cloud-based services and software as a service for viewing and reviewing electronic signature data; computer hosted and online services and software as a service for viewing and reviewing electronic evidence data that allows reproducing exactly what a signer saw and did; computer hosted and online services and software as a service for viewing and reviewing audit trail data that allows reproducing exactly what a signer of an electronic document saw and did; computer hosted, online and cloud-based services and software as a service for viewing and reviewing data documenting an electronic signature process; computer hosted, online and cloud-based services and software as a service for viewing and reviewing data documenting electronic delivery of documents and information; computer hosted, online and cloud-based services and software as a service for reviewing and verifying electronic forensic evidence; computer hosted, online and cloud-based services and software as a service for reproducing an authorization and approval process of an electronic transaction and document; computer hosted, online and cloud-based services and software as a service for reproducing a signing process of an electronic transaction and document; computer hosted, online and cloud-based services for the digitization and automation of business workflows such as onboarding a new customer; services for the secure storage of electronic documents; electronic vaulting services; information, advice and consultancy relating to the aforesaid services, whether or not via the Internet; consultancy in the field of computers; technical consultancy in the field of ICT, telecommunications and data communications; consultancy in the field of cyber security, internet security, computer security, computer network security, data security, cryptography, electronic signatures, electronically signing documents, and making secure data transfers and bank operations via computer networks and telecommunication networks; consultancy in the field of electronic document management; services provided by computer professionals in the field of security and certification of telecommunications; security testing of telecommunications; cyber security vulnerability testing; vulnerability testing and security testing of electronic systems, computer systems, computer based applications, remotely accessible applications, computer software, sever software and mobile application software; consultancy in the field of fraud detection, risk detection, risk management, fraud analysis and fraud prevention, all related to electronic, digital, online and remote transactions; programming and customization of data processing equipment; programming and customization of electronic apparatus for enabling secure communications, smart card readers, USB tokens, authentication tokens, electronic apparatus for use in the field of biometric verificaton, electronic apparatus for generation and verification of authentication credentials and signatures, electronic apparatus for securing telecommunications, electronic apparatus for computer security, electronic apparatus for the identification of persons; software research; project studies relating to software; design, development, customization, installation, updating and maintenance of computer software; computer programming; website design, development and maintenance; webhosting; technical research; scientific research; design of a digital archive; development of software for managing and providing access to documents, archives and documentation; design, development, implementation, management and operation of data communications networks and software for data communications networks; design, development, customization, installation, updating and maintenance of computer software for use in the field of application, transaction and identity security, cyber security, Internet security, computer network security, data security, authentication, electronic signatures, biometrics, identification of persons, securing data communication, fraud detection and prevention, risk management, customer enrollment, electronic document management; designing, developing, customizing, installing, updating and maintaining computer software in the field of cyber security, Internet security, computer security, computer network security, data security, cryptography, electronic signatures, electronically signing documents, and making secure data transfers and bank operations via computer networks and telecommunication networks; computer programming services for electronic data security; design and development of electronic data security systems; programming of Internet security programs; design and development of Internet security programs; design, development, customization, installation, updating and maintenance of computer software relating to computer security and prevention of computer risks; testing, analysis and evaluation services in the telecommunications field, for the purpose of certification and designing, updating and maintaining computer software of others used for security and certification of electronic instructions; designing, developing, updating and maintaining computer software in the field of electronic document management; research relating to security; technical research relating to automatic identification systems; provision of security services for online transactions by electronic means; it security services for remote communication; all of the aforementioned services to the exception of: scientific and technological services and research and design relating thereto, industrial analysis and research services, design and development of computer hardware and software, development of verification software, licensing of computer software, in particular formal verification (this does not include personal identity verification and authentication) software, providing of computer software technical support services, application engineering; all of the aforementioned exceptions only for formal verification (this does not include personal identity verification and authentication) and sequential equivalence checking purposes, in particular in the field of semiconductor production development, production and distribution of software for the formal verification (this does not include personal identity verification and authentication) and sequential equivalence checking of semiconductors and other technical components as well as the provision of any related services.