In die eenvoudige argument en argumentvorm wat ons as voorbeeld gebruik het, kan mens onmiddellik, as't ware met een gedagtegreep, insien dat dit geldig is, dus dat die konklusie waar moet wees as die premisse waar is. By meer ingewikkelde argumente kan daar 'n groter begripsgaping wees tussen premisse en konklusie – 'n gaping wat ons volgens sekere reëls moet oorbrug met tussenstappe wat ons 'n bewys noem. 'n Voorbeeld: (i) Andries of Bettie gaan; A Ú B. (ii) As Andries of Chris gaan, dan gaan Bettie ook; (A Ú C) ® B. (iii) Dus gaan Bettie; B. Omdat dit nou nie so maklik is om onmiddellik in te sien dat die argument geldig is nie, bou mens 'n bewys op wat tussenstappe in die argument invoeg, op so 'n wyse dat elke tussenstap se geldigheid onbetwisbaar is. Die leser word gevra om self sulke tussenstappe in die argument te verskaf. Hier is 'n wenk: Dit is sekerlik 'n logiese waarheid wat ons mag aanvaar dat Andries nie gaan nie of wel gaan;