“reductio (ingenere per reductionem),” IDeAL, accessed November 21, 2024, https://ideal.irht.cnrs.fr/document/710785.