change has_no_deltas to relation, fix statement of brands_unforgable theorem