Charles Babbage's Formula