The logic of contrition