Is forgiveness logical