introduce the "addressable" constraint