Citation: 9C_717/2023 E. 3.2

3.2. Mit Blick auf Art. 20 Abs. 3 AVG hat die Vorinstanz geprüft, ob die Betriebe der hier interessierenden Einsatzunternehmen dem GAV FAR unterstehen. Zunächst hat sie diesbezüglich den räumlichen und zeitlichen Geltungsbereich gemäss AVE GAV FAR bejaht. Sodann hat sie u.a. festgestellt, laut der Stiftung FAR (Beschluss des "Ausschusses Rekurse" vom 14. Mai 2008; Neubeurteilung vom 27. Oktober 2017) sei die B.________ AG seit dem 1. Juli 2003 als unechter Mischbetrieb vollumfänglich und seit dem 1. Januar 2017 lediglich noch mit dem Betriebsteil "Verputz und Isolation" (aber nicht mehr mit dem Betriebsteil "Holzbau") dem GAV FAR unterstellt. Die C.________ GmbH falle gemäss Entscheid der Stiftung FAR vom 19. November 2014 als unechter Mischbetrieb seit dem 1. Juli 2003 ebenfalls in den betrieblichen Geltungsbereich des GAV FAR. Gleiches ergebe sich auch aus den Auszügen aus der Datenbank des Paritätischen Vereins Informationssystem Allianz Bau (ISAB). Die Einsatzbetriebe resp. -unternehmen hätten denn auch für ihre direkt angestellten Mitarbeitenden Vorsorgebeiträge gemäss GAV FAR abgerechnet resp. "anstandslos" bezahlt und damit ihre Unterstellung (zumindest implizit) anerkannt. Auch wenn die Entscheidungen der Stiftung FAR die Unterstellung unter den GAV FAR nicht präjudizierten, seien die Einsatzbetriebe im fraglichen Zeitraum "jedoch ohne Weiteres (zumindest teilweise) dem GAV FAR unterstellt" gewesen. In den Akten seien denn auch keine Belege für eine Unterstellung der Einsatzbetriebe unter einen anderen GAV (wie den GAV VRM Dach und Wand resp. Gebäudehülle) zu finden. Weiter hat das kantonale Gericht den persönlichen Geltungsbereich für die in die Beitragsnachforderung einbezogenen Personen bejaht. Eine Ausnahme im Sinne von Art. 48c Abs. 2 AVV hat es verneint mit der Begründung, dass die darin genannten Voraussetzungen kumulativ erfüllt sein müssten. Folglich hat es die Vorsorgebeiträge der Jahre 2013 bis 2016 auf die von der Stiftung FAR (zuletzt) geltend gemachte Höhe festgelegt.