I've noticed there have been some collisions for future TAP numbers: like for TAP 11 with #74 and #106, and TAP 12, with #103 and #107. According to TAP 1, numbers are supposed to be assigned when a proposal has been accepted. If this is the case, could these proposals be renamed to avoid confusion when discussing proposals?