Assorted code for 6.035