types of threads

Threads are of two types: treads of contingency (stories), and threads of necessity (proofs).
keywords: logic, chains, sequences