remove redundant tests.
test traverse laws.