" Viết các chương trình an toàn chứng minh một vật truyền lây nhiễm là đủ [ để chứng minh một lỗ hổng ] mà không cần xây dựng trình tự sinh sản .
Viết các chương trình an toàn chứng minh được vectơ lây nhiễm là đủ mà không cần xây dựng trình tự sinh sản. "