The Unsolvable Formula [8.9.2007]