“demonstratio (perducens ad impossibile),” IDeAL, accessed November 21, 2024, https://ideal.irht.cnrs.fr/document/609216.