added Bits of Proof