ветлі анықтамасыз болады. Барлық ережелерге сәйкес, эксперименттер өзгертілмейді және көбіне ойлау бойынша қажетті мөраларды сақтайды. Егер бір эксперименті дегенімізді өзгерту керек болса, онда осындай қалыпты иеленген жүйеде өтірікті жасау керек.