Some sanity properties about disjointness of addresses.
Some more facts about separation/disjointness.