take { the _Graph} ; :: thesis: ( not { the _Graph} is empty & { the _Graph} is \/-tolerating )
thus ( not { the _Graph} is empty & { the _Graph} is \/-tolerating ) ; :: thesis: verum