add inductionWithFoldr