Они также определены с конструкций , которые являются в том смысле , что следователь не преднамеренно манипулирует какой-либо переменной , чтобы увидеть ее возможные последствия для системы , которая изучается .

###

Они определены с помощью конструкций , которые не манипулируют переменными , чтобы увидеть , что происходит .