good idea. we should put links to all the ftr theorems in here, except maybe lukie's