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 .
Phân tích linh hoạt đã được chấp nhận rộng rãi như chính xác .