Started work on isCarmichael