Соответствие, выполнимость, какое состояние БС должно быть (содержание и шаг инкрементов)