It has interesting consequences: e.g. U+2FA1C is canonically equivalent to U+9F3B, so the BMP is not closed under canonical equivalence, so no conformant system could make its repertoire exactly the BMP.
We should have thought of that sooner - what a nice way to deprecate UCS-2.
A./
