When we utter a contrastive RE, the user has previously heard the RE r s , so some of the information in r s E is redundant.
we might obtain a more succinct, and possibly better, RE by dropping such redundant information from the RE.