finished carmichael example