User talk:Selfworm/Userboxes/IrrationalProof