On 10/1/2018 4:56 PM, Timon Gehr wrote:
There was no 'scope' in the OP, and no, that is not sufficient either, because scope is not transitive but shared is.

Oops, I missed that point. Glad you noticed it.

Reply via email to