https://9lib.org/document/myj0r1mz-view-c-j-misak-verificationism-history-prospects.html