Nebst Dr. med. B.________ und seiner Ehefrau beschäftigt die A.________ AG medizinische Praxisassistenten/ -tinnen. Sämtliche Angestellte sind zum Zweck der beruflichen Vorsorge bei der BVG-Sammelstiftung E.________ bis zu einem Jahreslohn von Fr. 200'000.- versichert. Darüber hinaus schloss die Pflichtige zur überobligatorischen beruflichen Vorsorge mit der F.________ Sammelstiftung (nachfolgend: die Stiftung) per 6./21. Oktober 2014 einen 1e-Vorsorgeplan ab: Einziger Versicherter ist Dr. med. B.________ mit einem versicherten Lohn von Fr. 600'000.- (ordentlicher Lohn Fr. 800'000.- abzüglich des Koordinationsabzugs von Fr. 200'000.-). (…) Erwägungen: (…)