Пункт 1 - не бессмысленно - на выходе получено доказательство, которое можно будет предъявить следующему усомнившемуся.