Доказывающий – это гораздо более простой механизм. Он работает по единственному закону: что бы ни думал Думающий, Доказывающий это доказывает.