trait_exists