Sachverhalt: A. Die Ehe von F._ und O._ wurde mit Urteil des Bezirksgerichts X._ vom xxx geschieden. Im Scheidungspunkt wurde das Urteil am 11. Oktober 2010 rechtskräftig, hinsichtlich der Anordnung einer hälftigen Teilung der Austrittsleistung der beruflichen Vorsorge hingegen erst mit Urteil des Bundesgerichts vom 26. Januar 2012 (5A_355/2011). B. Das Obergericht des Kantons Zürich überwies die Akten an das Sozialversicherungsgericht des Kantons Zürich, damit es die Teilung der Austrittsleistung (Vorsorgeausgleich) durchführe (Schreiben vom 23. März 2012). Das Sozialversicherungsgericht prüfte, ob, wie von F._ beantragt, während der Dauer der Ehe erfolgte Einkäufe in die berufliche Vorsorge in Höhe von Fr. 86'000.- von der Teilung auszunehmen seien, weil sie aus Eigengut stammten. Es bejahte diese Frage teilweise und setzte den an O._ zu überweisenden Betrag unter Ausklammerung einer Einkaufssumme von Fr. 40'973.- fest (Entscheid vom 20. Dezember 2013). C. F._ führt Beschwerde in öffentlich-rechtlichen Angelegenheiten mit dem Rechtsbegehren, die Sache sei infolge von Verfahrensmängeln an die Vorinstanz zurückzuweisen. Es sei festzustellen, dass diese nicht befugt sei, das Scheidungsurteil nachzubessern. Eventuell sei das Verfahren zu sistieren, "bis zur Frage der rechtskonformen Anwendung des Vorsorgereglements bei vorzeitiger Pensionierung ein rechtskräftiger Entscheid der hierfür zuständigen Rechtsinstanz vorliegt". 