Các quy tắc của cuộc cầu hôn và quy tắc cuối cùng chứa một phân tích tác động được kết hợp với một phân tích tương tác với ban đầu và cuối cùng phân tích linh hoạt , tương
Các quy tắc của quy tắc đã được phân tích về tác động của quy trình nhưng nó được coi là hoàn toàn không hoàn chỉnh .