get the intended rule about label declaration to work