https://www.peacefare.net/2012/05/30/a-fortiori/