I saw the video of your talk at EthCC, unfortunately I could not attend that day, and wanted to know how this tool is used in addition to oz tool.