Yêu cầu bắt giữ các kiến thức cụ thể để được sử dụng như các tiêu chí thoát cho quyết định tạo ra tại hai điểm mấu chốt-Khi chuyển đổi từ tích hợp hệ thống cho trình bày hệ thống và từ hệ thống biểu diễn vào tác phẩm
Để thực hiện một quyết định khi chuyển đổi giữa hệ thống hợp nhất cho hệ thống chứng minh và từ hệ thống biểu diễn vào tác phẩm , sau đó , những kiến thức cụ thể là cần thiết .