“demonstratio (quia a posteriori),” IDeAL, accessed November 24, 2024, https://ideal.irht.cnrs.fr/document/609240.