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.