b'P ROVING THE P RINCIPLEv i'