“reductio (ingenere per reductionem),” IDeAL, accessed January 29, 2025, https://ideal.irht.cnrs.fr/document/710785.