Trying to fix tractatus initialization...