== in bucket and path, has in bucket, and some asserts in twc