systems of logic thread