Removed the old quantification variable from Bit in the example.