add has_brand_rel and sub_exp relations, and write brands_unforgable theorem (draft idea)