removed unnecessary aux file; fleshed out proposal for sidd's class