FOL vs SOL

Insbesondere in LawsFOL.v verwende ich in meinen Augen den Begriff der FOL nicht korrekt, da ich oftmals über p : Prop quantifiziere, was in meinen Augen eine Quantifizierung über Aussagen/0-stellige Prädikate darstellt, also unter SOL fällt. Darauf sollte man mindestens verweisen.