SQUIRLL PROOF