-The application for funding from NLnet, from back in November of last year,
+The application for funding from NLnet and the
+[Next Generation Internet](https://NGI.eu/vision)
+initiative from the European Commission, from back in November of last year,
has been approved. It means that we have EUR $50,000 to pay for full-time
engineering work to be carried out over the next year, and to pay for
bounty-style tasks. For the right people, with the right skills, there
is money now available.
-However, this is not all: by splitting the tasks up into separate groups,
-and using a second European-based individual as the applicant, we can
-apply for a second grant (also of up to EUR $50,000). In the next couple
-of days, we will put in an application for "Formal Mathematical Proofs"
-of the processor design.
+More plans from our community are in the pipeline. We can apply for
+additional grants (also up to EUR $50,000). In the next couple of days,
+we will put in an application for “Formal Mathematical Proofs” of the
+processor design.
There are several reasons for doing so. The primary one is down to the
fact that we anticipate this (commercial, libre) product to be closely