Т.е. ТП (я их расшифровал несколько не традиционно) утверждает, что рассово-верная система будет только, если записать образ рассово-верной программой. Иначе кровь-кишки-упадок_сил.
Во, это интересный аргумент. А как я сниму контрольные суммы? Если только снимать их со всех файлов в системе... Блин, аж захотелось провести натурный эксперимент.