By definition, the big difference between mercy and justice is that mercy is never ever obligatory.
or simply: