Use carmichaels module

Closes #9