Thread and Tula Logic Systems‏