An example method of video processing includes performing a conversion between a video comprising one or more pictures and a bitstream representation of the video. The bitstream representation is required to conform to a format rule that specifies that each picture is coded as one or more slices. The format rule prohibits samples in a picture from not being covered by any of the one or more slices.