Finished Grayson presentation proof except for iteration. Created K-theory FI-module