MISC: Projects done privately with Arjun Suresh in order to evaluate our own theories. Both gave negative results but we did learn more on Engineering in the process.