Wei_Dai comments on Raemon’s Scratchpad