renamed directory
renamed prop_arities into inequations
renamed a file