Notes on taxpayer double payment on student loans