explicit zero case when defining recursive funs