$RE est vraiment dégoûtant, double mise en échec des deux côtés