The Logic of Contrition