Magyarul: a gyakorlatban nem érsz a formális bizonyítással semmit, mert a láncban más elemek is vannak. Az megint más, hogy a módszer, a kutatás értékes.