finished write up except error analysis for our system, and whatever extra rules Dhruv adds