Formalizing congress data exercise