The crucifix problem has been officially solved