Does anyone know what software is used by the hill staffers when drafting new bills? How do they make sure that the laws do not contradict each other?