mathematical witchcraft