“demonstratio (quia a posteriori),” IDeAL, accessed January 30, 2025, https://ideal.irht.cnrs.fr/document/609240.