Bản đồ nghiên cứu

Cuộc tấn công dưới dạng đồ thị phụ thuộc

Bản đồ nghiên cứu được sắp đặt thủ công: phía trên là trục thời gian các gate, bên dưới là chuỗi phụ thuộc giữa các mệnh đề, cho thấy mỗi định lý củng cố, thay thế hay quy về cái kế tiếp ra sao, dẫn tới mục tiêu còn bỏ ngỏ LRC(13).