## What are significant technical challenges you expect to solve during the project, if any?
-This is a straightforward project. However the timing issues involved with Bus Negotiation can be awkward to get righ and may need formal proofs to properly verify.
+This is a straightforward project. However the timing issues involved with Bus Negotiation can be awkward to get right and may need formal proofs to properly verify.
## Describe the ecosystem of the project, and how you will engage with relevant actors and promote the outcomes