(a)mitigatedmade less severe or intense“he gladly accepted the mitigated penalty”