O argumento da segurança, como ficou demonstrado na nossa avaliação de impacto, também não é irrefutável, porque a segurança, como bem sabemos, pode garantir-se com ensaios de tipo.
Také argument bezpečnosti, jak dokládají výsledky našeho hodnocení, není dostatečně přesvědčivý, protože bezpečnost, jak dobře víme, může být zajištěna prostředky přezkoušení typu.