a fortiori analysis