В TCS есть тип результатов, обычно называемый результатами начальной загрузки . В общем, это имеет вид Если предложение выполнено, то предложение выполнено.AAAA′A′A' где и - предложения, которые выглядят одинаково, а по-видимому, "слабее", чем , и именно поэтому мы называем этот тип результатов....