take { the _Graph} ; :: thesis: { the _Graph} is /\-tolerating
thus { the _Graph} is /\-tolerating ; :: thesis: verum