developed plan for removing duplicates, added is_equivalent function for abstractions (need to test it)