initial mimi; recursive factorial demo