In Part II of three on "How do we design tokenized ecosystems?" Trent McConaghy takes us through an explanation of the practice of engineering the theory, practice and tools to analyze, design, and verify tokenized ecosystems