fortiori

not defined yet