I'd much rather we defined scope as a join, rather than a bit vector.