they are defined