I think formal verification is super valuable use case and would love to learn more about how to experiment with it through this tool, which may not have the immediate traction it needs to grow but I dig it and want to learn more