pause for a second... i think that if this has nothing to do with transitivity, then you don't need scope declarations in almost any case