Add Attachment:STR-459: No congruence for _ {^ _ }