Verify the strassen theorem Boolean TD reproduce and Ternary TD generation During coding and debugging progression, would be in a little mess.