they defined -> they are defined