"การเขียนโปรแกรมที่ปลอดภัยซึ่งแสดงให้เห็นพาหะของการติดเชื้อนั้นเพียงพอแล้ว เพื่อแสดงให้เห็นถึงช่องโหว่ โดยไม่ต้องสร้างลำดับการสืบพันธุ์
การเขียนโปรแกรมที่ปลอดภัยซึ่งแสดงให้เห็นพาหะของการติดเชื้อนั้นเพียงพอแล้วโดยไม่ต้องสร้างลำดับการสืบพันธุ์"