Формула: система в один момент времени имеет одно требуемое свойство, в другой момент – другое требуемое свойство.