b'P ROVING THE P RINCIPLE30 4'