1. It is Jehovah’s invisible active force or energy by which he operates the universe and accomplishes his will.

Er ist Jehovas unsichtbare wirksame Kraft oder Energie, durch die er das Universum in Gang hält und seinen Willen durchführt.

2. It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis – including abstract interpretations, deductive verifications and model checking.

Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.