added conjectures to writeup section 1, cleaned up some stuff