for D being Subset of (TOP-REAL 2) holds BDD D misses D