Add to church.ml: churchIsZero