en allt igenom sträng logisk bevisningskedja , hvarigenom han , så vidtvi