bumpidy :nat