Một phân tích linh hoạt và phân tích sự linh hoạt cuối cùng đã được chuẩn bị cho cả hai quy tắc và được tóm tắt trong cái cho các quy tắc cầu hôn và quy tắc cuối cùng , tương ứng .
Không có sự phân tích linh hoạt hay cuối cùng đã được hoàn thành .