Explanation in Natural language of lambda-bar-mu-mu-tilde-terms