Citation: 9C_369/2020 E. 3.1

3.1. Im Streit liegen Ansprüche aus überobligatorischer beruflicher Vorsorge. Die Vorsorgeeinrichtungen sind im Rahmen des Gesetzes und unter Berücksichtigung der verfassungsmässigen Schranken (wie Rechtsgleichheit, Willkürverbot und Verhältnismässigkeit; BGE 140 V 348 E. 2.1 S. 350) in der Gestaltung ihrer Leistungen im weitergehenden Bereich grundsätzlich frei (Art. 49 Abs. 1 Satz 1 BVG in Verbindung mit Art. 6 und Art. 49 Abs. 2 BVG).